A better form of knowledge representation